﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Diagnostics.Contracts;

namespace PhysicsEngine.Common
{
  public class Transform
  {
    public Vector2 Position { get; private set; }

    public Transform(Vector2 position)
    {
      Contract.Ensures(this.Position == position);

      Position = position;
    }

    [ContractInvariantMethod]
    private void ObjectInvariant()
    {
      Contract.Invariant(Position != null);
    }
  }
}
